-- BP 7.1.6 content: ModelClass syschar: 3 persistence-version: 7.1.6

INSERT INTO O_OBJ
	VALUES ("00109784-3c75-4ab1-8d11-3e04474ce7e2",
	'Time',
	409,
	'TIMD',
	'"To define a data type that represents calendar-clock time, write:
    data type <data type name> is time 
        range is from <year-mon-day> (<hour:min:sec >) to <year-mon-day> 
            (<hour:min:sec >)
        precision is <smallest discriminated value> [ year | month | day | 
            hour | minute | second | millisec | microsec ]

The operations permitted using data types based on time and duration are:
    time := time ± duration
    duration := duration ± duration
    duration := duration * numeric
    duration := duration / numeric
    duration := time - time
    as well as the standard comparisons of < (read as "before"), >, ≤ , and ≥ . 
    Each such comparison yields a data element of base type boolean. 
    Comparisons are defined only between elements of the same base type."
    [OOAData]
',
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_TFR
	VALUES ("cd53bd84-f82f-4c0c-970e-1dd5a75ff4a7",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2",
	'generateSupportedOperators',
	'"The operations permitted using data types based on time ... are:
    time := time ± duration
    as well as the standard comparisons of < (read as "before"), >, ≤ , and ≥ . 
    Each such comparison yields a data element of base type boolean. 
    Comparisons are defined only between elements of the same base type."
    [OOAData]
    time := time ± time
    
NOTE: For mixed type operations, conversion operators must be supported.
The explicit conversion cases are:
    duration := time: time->duration
    NOTE: The architecture should add boundary checks on this conversion, as 
    durations are often expressed in (e.g.,) microseconds. The system needs to 
    be able to support very large numbers if values are more than one hour.',
	"ba5eda7a-def5-0000-0000-000000000000",
	1,
	'generate TYOP_A1:create(name:"assignment", symbol:":=", type:"time", result:"time") to TYOP class;
generate TYOP_A1:create(name:"addition", symbol:"+", type:"time", result:"time") to TYOP class;
generate TYOP_A1:create(name:"subtraction", symbol:"-", type:"time", result:"time") to TYOP class;
generate TYOP_A1:create(name:"equal", symbol:"=", type:"time", result:"boolean") to TYOP class;
generate TYOP_A1:create(name:"not equal", symbol:"!=", type:"time", result:"boolean") to TYOP class;
generate TYOP_A1:create(name:"greater", symbol:">", type:"time", result:"boolean") to TYOP class;
generate TYOP_A1:create(name:"lesser", symbol:"<", type:"time", result:"boolean") to TYOP class;
generate TYOP_A1:create(name:"greater or equal", symbol:">=", type:"time", result:"boolean") to TYOP class;
generate TYOP_A1:create(name:"lesser or equal", symbol:"<=", type:"time", result:"boolean") to TYOP class;
',
	1,
	'',
	"00000000-0000-0000-0000-000000000000",
	0);
INSERT INTO O_NBATTR
	VALUES ("2d31a8f1-649e-4123-92ad-9db209610d42",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO O_BATTR
	VALUES ("2d31a8f1-649e-4123-92ad-9db209610d42",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO O_ATTR
	VALUES ("2d31a8f1-649e-4123-92ad-9db209610d42",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2",
	"1db72aca-6b0d-4ac9-9aa1-c6e7f16ff675",
	'current_state',
	'',
	'',
	'current_state',
	0,
	"ba5eda7a-def5-0000-0000-000000000006",
	'',
	'');
INSERT INTO O_REF
	VALUES ("00109784-3c75-4ab1-8d11-3e04474ce7e2",
	"457cd498-80ef-4e4e-95e0-56bc48607519",
	0,
	"c6811edb-d913-48b2-be3e-1d2ebba0547e",
	"ad325f35-faf5-44a4-ac99-a2f9909efbb9",
	"80c2badc-1161-49fe-9372-ca3454b42af5",
	"be141c7f-7bce-427c-8219-bd5767c973d9",
	"1db72aca-6b0d-4ac9-9aa1-c6e7f16ff675",
	"a729b1bd-836e-4fe7-a899-1acd876c68d7",
	"00000000-0000-0000-0000-000000000000",
	0,
	'',
	'Core',
	'name',
	'R403');
INSERT INTO R_RGO_PROXY
	VALUES ("00109784-3c75-4ab1-8d11-3e04474ce7e2",
	"ad325f35-faf5-44a4-ac99-a2f9909efbb9",
	"80c2badc-1161-49fe-9372-ca3454b42af5",
	'../Type.xtuml');
INSERT INTO O_RTIDA_PROXY
	VALUES ("c6811edb-d913-48b2-be3e-1d2ebba0547e",
	"457cd498-80ef-4e4e-95e0-56bc48607519",
	0,
	"ad325f35-faf5-44a4-ac99-a2f9909efbb9",
	"be141c7f-7bce-427c-8219-bd5767c973d9",
	'../Type.xtuml');
INSERT INTO O_RATTR
	VALUES ("1db72aca-6b0d-4ac9-9aa1-c6e7f16ff675",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2",
	"d59bff5d-0418-4222-8cac-0ab92a87871f",
	"0c8bafe9-416d-4662-a4ec-206f276b9ac5",
	1,
	'name');
INSERT INTO O_BATTR_PROXY
	VALUES ("d59bff5d-0418-4222-8cac-0ab92a87871f",
	"0c8bafe9-416d-4662-a4ec-206f276b9ac5",
	'../Type/Type.xtuml');
INSERT INTO O_ATTR
	VALUES ("1db72aca-6b0d-4ac9-9aa1-c6e7f16ff675",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2",
	"00000000-0000-0000-0000-000000000000",
	'name',
	'',
	'',
	'name',
	0,
	"ba5eda7a-def5-0000-0000-000000000007",
	'',
	'');
INSERT INTO O_ID
	VALUES (0,
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO O_OIDA
	VALUES ("1db72aca-6b0d-4ac9-9aa1-c6e7f16ff675",
	"00109784-3c75-4ab1-8d11-3e04474ce7e2",
	0,
	'name');
INSERT INTO O_ID
	VALUES (1,
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO O_ID
	VALUES (2,
	"00109784-3c75-4ab1-8d11-3e04474ce7e2");
INSERT INTO PE_PE
	VALUES ("00109784-3c75-4ab1-8d11-3e04474ce7e2",
	1,
	"03ad3705-d9c8-45b5-a34b-f270ac9fc479",
	"00000000-0000-0000-0000-000000000000",
	4);
INSERT INTO EP_PKG_PROXY
	VALUES ("03ad3705-d9c8-45b5-a34b-f270ac9fc479",
	"00000000-0000-0000-0000-000000000000",
	"c8b88000-dddc-4206-8410-2f69b8f86b67",
	'Type',
	'',
	400,
	'../Type.xtuml');
